Toward Language Independent Worst-Case Execution Time Calculation
نویسندگان
چکیده
Set of Software Quality Static Analyzers (SSQSA) is a set of software tools for static analysis that is incorporated in the framework developed to target the common aim – consistent software quality analysis. The main characteristic of all integrated tools is the independency of the input computer language. Language independency is achieved by enriched Concrete Syntax Tree (eCST) that is used as an intermediate representation of the source code. This characteristic gives the tools more generality comparing to the other similar static analyzers. The aim of this paper is to describe an early idea for introducing support for static timing analysis and Worst Case Execution Time (WCET) calculation at code level in SSQSA framework.
منابع مشابه
A Unified Flow Information Language for WCET Analysis
In this paper we raise the question if it is possible to create a unified flow information language that all WCET research groups can agree upon, and that is independent of flow analysis and calculation methods. We discuss desired characteristics of such a flow information language and describe the type of flows that it should be able to express. We present our previously published flow fact an...
متن کاملLow-level analysis of a portable Java byte code WCET analysis framework
To support portability, worst-case execution time (WCET) analysis of Java byte code is performed at two levels – machine-independent program-flow analysis at a higher level and machine-dependent timing analysis of individual program constructs at a lower level. This paper contributes a WCET analysis that computes worst-case execution frequencies of Java-Byte Codes within the software being anal...
متن کاملWiP: Scheduling Multi-Threaded Tasks to Reduce Intra-Task Cache Contention
Research on hard real-time systems and their models has predominately focused upon single-threaded tasks. When multi-threaded tasks are introduced to the classical real-time model the individual threads are treated as distinct tasks, one for each thread. These artificial tasks share the deadline, period, and worst case execution time of their parent task. In the presence of instruction and data...
متن کاملA Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must be known. We describe a newly developed prototype tool that calculates these bounds automatically, thereby avoiding the need for manual annotations by the programmer. The analysis is based on an intermediate code repr...
متن کاملAttribute-based Checking of C++ Move Semantics
Worst-case execution time (WCET) analysis is an important research area in various application areas, like real-time and embedded programming as well as a wide range of other high performance applications. However, WCET analysis is a complex and difficult area, because the processor's cache operations, interrupt routines and the operating system impact the execution time. Also, it is very diffi...
متن کامل